булево число

См. также в других словарях:

• A5 — У этого термина существуют и другие значения, см. A5 (значения). Предупреждение на экране сотового телефона об отсутствии шифрования на сети …   Википедия

• DSA — DSA, Digital Signature Algorithm Создатель: NIST Создан: 1991 год Опубликован: 1994 год Размер ключа: закрытый: 160 256 бит, открытый: 1024 3072 бит Размер подписи: два числа по 160 256 бит Эта статья включает описан …   Википедия

• Булева функция — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок …   Википедия

• БУЛЕВА АЛГЕБРА — булева решетк а, частично упорядоченное множество специального вида. Б. а. наз. дистрибутивная решетка (дистрибутивная структура), имеющая наибольший элемент 1 единицу Б. а., наименьший элемент 0 нуль Б. а. и содержащая вместе с каждым своим… …   Математическая энциклопедия

• Булевы выражения — В теории дискретных функциональных систем булевой функцией называют функцию типа , где булево множество, а n неотрицательное целое число, которое называют арностью или местностью функции. Элементы 1 (единица) и 0 (ноль) стандартно интерпретируют… …   Википедия

• Битовые операции — Не следует путать с булевой функцией. Битовая операция в программировании  некоторые операции над цепочками битов. В программировании, как правило, рассматриваются лишь некоторые виды этих операций: логические побитовые операции и… …   Википедия

• ИДЕМПОТЕНТНОСТЬ — (от лат. idem – тот же самый и potens – сильный, мощный; букв. – равносильность) – свойство нек рых объектов, рассматриваемое в логике (и алгебре) и выражаемое в общем случае формулой a*a=a. В частных случаях в формуле, выражающей И., может… …   Философская энциклопедия

• ВЫНУЖДЕНИЯ МЕТОД — форсинг метод, особый способ доказательства существования моделей аксиоматич. теорий, предложенный П. Козном в 1963 для доказательства совместимости отрицания континуум гипотезы щСН и других теоретико множественных предложений с аксиомами системы …   Математическая энциклопедия

• НЕКЛАССИЧЕСКАЯ ТЕОРИЯ МОДЕЛЕЙ — теория моделей, отличающаяся от классической тем, что либо формальный язык, с к рым она имеет дело, отличен от языка первого порядка либо логика, лежащая в ее основе, отлична от классической (двузначной). В дальнейшем, если не оговорено противное …   Математическая энциклопедия

• Low Level Virtual Machine — LLVM Тип Компилятор Разработчик LLVM Developer Group Н …   Википедия

• ИССЛЕДОВАНИЕ ОПЕРАЦИЙ — построение, разработка и приложения математич. моделей принятия оптимальных решений. Содержанием теоретич. аспекта И. о. являются анализ и решение математич. задач выбора в заданном множестве допустимых решений Xэлемента, удовлетворяющего тем или …   Математическая энциклопедия